102 research outputs found

    Time and Cost Optimization of Cyber-Physical Systems by Distributed Reachability Analysis

    Get PDF

    Coexistence and different determinants of posttraumatic stress disorder and posttraumatic growth among Chinese survivors after earthquake: role of resilience and rumination

    Get PDF
    Posttraumatic stress disorder (PTSD) and posttraumatic growth (PIG) are two different outcomes that may occur after experiencing traumatic events. Resilience and rumination are two important factors that determine the development of these outcomes after trauma. We investigated the association between these two factors, PTSD and PIG, among Chinese survivors in an earthquake. With a convenience sample of 318 survivors from earthquake, we measured trauma exposure, PTSD, PIG, resilience, and rumination (Impact of Event Scale-Revised, Posttraumatic Growth Inventory, 10 item Connor-Davidson Resilience Scale, Ruminative Response Scale). Then we used bivariate correlation and structural equation modeling to examine the structure of relations among these factors. Results showed that resilience and reflective rumination have a positive effect on PIG (beta = 0.32, p &lt; 0.001; = 0.17, p = 0.049). Earthquake exposure, brooding rumination and depressed-related rumination are related with higher level of PTSD = 0.10, p = 0.021; = 0.33, p &lt; 0.001; beta = 0.36, p &lt; 0.001). The findings suggest distinct determinants of the negative and positive outcomes, and this may provide better understanding about the risk and protective factors for traumatic reactions.</p

    The characteristics of emotional response of Post-traumatic stress Disorder and Post-traumatic growth among chinese adults exposed to an explosion incident

    Get PDF
    Purpose: Post-traumatic stress disorder (PTSD) and post-traumatic growth (PTG) are two different outcomes that may occur after experiencing traumatic events. Meanwhile, the traumatic exposure level and emotion response played an important role in the process. The present study first evaluated the relationship between PTSD, PTG, and traumatic exposure level and then compared the characteristics of emotional response through response time of the affective priming paradigm. Methods: For the purpose of evaluating the relationship between PTSD, PTG, and trauma exposure level, a sample of 2,395 participants completed measures of posttraumatic stress disorder Checklist-Civilian Version (PCL-C), Post-traumatic Growth Inventory (PTGI) and a trauma exposure-related survey, and Pearson&rsquo;s correlation analysis for the scales were conducted. In order to compare the characteristics of emotional response between PTSD and PTG, we randomly selected 90 participants and divided them into groups of PTSD, PTG, and control according the scores of PCL-C and PTGI, then the 90 participants were asked to do the affective priming task and the response time was recorded, at last analysis of variance was employed to analyze the data. Results: The results indicated that PTSD was not correlated with PTG. It was positively correlated with the traumatic exposure level, but PTG was not observed in this phenomenon. Finally, the data of response time showed that PTSD required more time to do the priming task and PTG demonstrated no difference compared to the control group. Conclusion: Combined with previous research findings, the relationship between PTSD and PTG may depend on the type and severity of the trauma, the exposure level, and other such parameters. In terms of positive outcome of trauma PTG displayed no changes of emotional performance from the perspective of behavior. The preliminary results suggested that PTG was more related to a self-reported or self-experienced state.</p

    Post-training corticosterone inhibits the return of fear evoked by platform stress and a subthreshold conditioning procedure in Sprague-Dawley rats

    Get PDF
    The return of fear is an important issue in anxiety disorder research. Each time a fear memory is reactivated, it may further strengthen overactivation of the fear circuit, which may contribute to long-term maintenance of the fear memory. Recent evidence indicates that glucocorticoids may help attenuate pathological fear, but its role in the return of fear is unclear. In the present study, systemic corticosterone (CORT; 25 mg/kg) administration 1 h after fear conditioning did not impair the consolidation process but significantly suppressed the return of fear evoked by a subthreshold conditioning (SC) procedure and elevated platform (EP) stress. Compared with the SC-induced return of fear, acute stress-induced return was state-dependent. In addition, post-training CORT treatment increased the adrenocorticotropic response after EP stress, which indicates that the drug-induced suppression of the return of fear may possibly derive from its regulation effect of the hypothalamic-pituitary-adrenal axis reactivity to stress. These results suggest that post-training CORT administration may help inhibit the return of fear evoked by EP or SC stress. The possible mechanisms involved in the high-dose CORT-induced suppression of the SC- and EP-induced return of fear are discussed. (C) 2015 Elsevier Inc. All rights reserved.</p

    Machine learning-based early diagnosis of autism according to eye movements of real and artificial faces scanning

    Get PDF
    BackgroundStudies on eye movements found that children with autism spectrum disorder (ASD) had abnormal gaze behavior to social stimuli. The current study aimed to investigate whether their eye movement patterns in relation to cartoon characters or real people could be useful in identifying ASD children.MethodsEye-tracking tests based on videos of cartoon characters and real people were performed for ASD and typically developing (TD) children aged between 12 and 60 months. A three-level hierarchical structure including participants, events, and areas of interest was used to arrange the data obtained from eye-tracking tests. Random forest was adopted as the feature selection tool and classifier, and the flattened vectors and diagnostic information were used as features and labels. A logistic regression was used to evaluate the impact of the most important features.ResultsA total of 161 children (117 ASD and 44 TD) with a mean age of 39.70 ± 12.27 months were recruited. The overall accuracy, precision, and recall of the model were 0.73, 0.73, and 0.75, respectively. Attention to human-related elements was positively related to the diagnosis of ASD, while fixation time for cartoons was negatively related to the diagnosis.ConclusionUsing eye-tracking techniques with machine learning algorithms might be promising for identifying ASD. The value of artificial faces, such as cartoon characters, in the field of ASD diagnosis and intervention is worth further exploring

    Breast mass as the first sign of metastasis from rectal carcinoma: a case report and review of the literature

    Get PDF
    We present a case report of a 41-year-old woman who developed a left breast mass 18 months after undergoing Dixon rectal cancer surgery. The purpose of this case report is to highlight the possibility of breast metastases in patients with colorectal cancer and emphasize the importance of careful evaluation and follow-up as well as timely and accurate diagnosis and management of the metastatic disease. During the physical examination in 2021, we noted that the lower border of the mass was 9 cm from the anal verge and that it occupied approximately one-third of the intestinal lumen. A pathological biopsy revealed the mass in the patient’s intestinal lumen was a rectal adenocarcinoma. The patient underwent Dixon surgery for rectal cancer and received subsequent chemotherapy. The patient had no prior history of breast-related medical conditions or a family history of breast cancer. During the current physical examination, we discovered multiple lymphadenopathies in the patient’s left neck, bilateral axillae, and left inguinal region, but none elsewhere. We observed a large erythema of about 15x10 cm on the patient’s left breast, with scattered hard nodes of varying sizes. Palpation of the area beyond the upper left breast revealed a mass measuring 3x3 cm. We conducted further examinations of the patient, which revealed the breast mass and lymphadenopathy on imaging. However, we did not find any other imaging that had significant diagnostic value. Based on the patient’s conventional pathology and immunohistochemical findings, combined with the patient’s past medical history, we strongly suspected that the patient’s breast mass was of rectal origin. This was confirmed by the abdominal CT performed afterward. The patient was treated with a chemotherapy regimen consisting of irinotecan 260 mg, fluorouracil 2.25 g, and cetuximab 700 mg IV drip, which resulted in a favorable clinical response. This case illustrates that colorectal cancer can metastasize to unusual sites and underscores the importance of thorough evaluation and follow-up, particularly when symptoms are atypical. It also highlights the importance of timely and accurate diagnosis and management of metastatic disease to improve the patient’s prognosis

    Selection response and estimation of the genetic parameters for multidimensional measured breast meat yield related traits in a long-term breeding Pekin duck line

    Get PDF
    Objective This study was conducted to estimate the genetic parameters and breeding values of breast meat related traits of Pekin ducks. Selection response was also determined by using ultrasound breast muscle thickness (BMT) measurements in combination with bosom breadth (BB) and keel length (KL) values. Methods The traits analyzed were breast meat weight (BMW), body weight (BW), breast meat percentage (BMP) and the three parameters of breast meat (BB, KL, and BMT). These measurements were derived from studying 15,781 Pekin ducks selected from 10 generations based on breast meat weight. Genetic parameters and breeding value were estimated for the analysis of the breeding process. Results Estimated heritability of BMW and BMP were moderate (0.23 and 0.16, respectively), and heritability of BW was high (0.48). Other traits such as BB, KL, and BMT indicated moderate heritability ranging between 0.11 and 0.28. Significant phenotypic correlations of BMW with BW and BMP were discovered (p<0.05), and genetic correlations of BMW with BW and BMP were positive and high (0.83 and 0.66, respectively). It was noted that BMW had positive correlations with all the other traits. Generational average estimated breeding values of all traits increased substantially over the course of selection, which demonstrated that the ducks responded efficiently to increased breast meat yield after 10 generations of breeding. Conclusion The results indicated that duck BMW had the potential to be increased through genetic selection with positive effects on BW and BMP. The ultrasound BMT, in combination with the measurement of BB and KL, is shown to be essential and effective in the process of high breast meat yield duck breeding

    RNF31 inhibition sensitizes tumors to bystander killing by innate and adaptive immune cells

    Get PDF
    Tumor escape mechanisms for immunotherapy include deficiencies in antigen presentation, diminishing adaptive CD8+ T cell antitumor activity. Although innate natural killer (NK) cells are triggered by loss of MHC class I, their response is often inadequate. To increase tumor susceptibility to both innate and adaptive immune elimination, we performed parallel genome-wide CRISPR-Cas9 knockout screens under NK and CD8+ T cell pressure. We identify all components, RNF31, RBCK1, and SHARPIN, of the linear ubiquitination chain assembly complex (LUBAC). Genetic and pharmacologic ablation of RNF31, an E3 ubiquitin ligase, strongly sensitizes cancer cells to NK and CD8+ T cell killing. This occurs in a tumor necrosis factor (TNF)-dependent manner, causing loss of A20 and non-canonical IKK complexes from TNF receptor complex I. A small-molecule RNF31 inhibitor sensitizes colon carcinoma organoids to TNF and greatly enhances bystander killing of MHC antigen-deficient tumor cells. These results merit exploration of RNF31 inhibition as a clinical pharmacological opportunity for immunotherapy-refractory cancers

    Large Scale Model Checking: Distributed State Space Generation using MapReduce

    No full text
    Parallel and distributed model checking has become a topic of growing interest since 1990s. A distributed model checker can verify large models because it can have access to a large amount of memory and computing power. Until now, there are many distributed model checkers that have been developed. A novel distributed model checking design and its implementation are discussed in this Thesis. This approach has two phases. In the first phase, the swarm verification is performed to generate a partial state space. In the second phase, the partial state space is used as input, and the remainder of the state space is generated by performing one level breadth-first search in a loop. The implementation combines SPIN and Hadoop. SPIN is a well-known model checker. Hadoop is a well-known open source implementation of the MapReduce distributed computing framework. Our design is independent of the model checker used, so it is possible to choose another model checker than SPIN. The benchmark experiments proved the concept of our design is feasible. Analysis on the experiment results revealed the strategy on how to achieve fast state space generation. However, further improvements in the implementation are still needed to support additional features of SPIN in state space generation
    corecore